0 ♯ and Elementary End Extensions Of
نویسنده
چکیده
In this paper we prove that if κ is a cardinal in L[0], then there is an inner model M such that M |= (Vκ,∈) has no elementary end extension. In particular if 0♯ exists then weak compactness is never downwards absolute. We complement the result with a lemma stating that any cardinal greater than א1 of uncountable cofinality in L[0♯] is Mahlo in every strict inner model of L[0♯].
منابع مشابه
And Elementary End Extensions of V Κ
In this paper we prove that if κ is a cardinal in L[0]], then there is an inner model M such that M |= (Vκ,∈) has no elementary end extension. In particular if 0] exists, then weak compactness is never downwards absolute. We complement the result with a lemma stating that any cardinal greater than א1 of uncountable cofinality in L[0]] is Mahlo in every strict inner model of L[0]].
متن کاملModels of Expansions of N with No End Extensions
We deal with models of Peano arithmetic (specifically with a question of Ali Enayat). The methods are from creature forcing. We find an expansion of N such that its theory has models with no (elementary) end extensions. In fact there is a Borel uncountable set of subsets of N such that expanding N by any uncountably many of them suffice. Also we find arithmetically closed A with no ultrafilter ...
متن کاملExtensions of Normed Algebras
(Minor corrections and additions have been made. The page layout has also been changed.) 0 Contents Contents 1 Abstract 2 Chapter 1: Constructions and Elementary Properties and Applications of Algebraic Extensions of Normed Algebras 3
متن کاملSymbolic Integration in Prime Characteristic
In this paper we study elementary extensions of differential fields in prime characteristic. In particular, we show that, in contrast to Liouville’s result in characteristic zero, all elements of an elementary extension admit an antiderivative in some logarithmic extension.
متن کاملTutorial on Elementary Pairs of Models of Arithmetic
Almost all results in model theory of arithmetic are about elementary extensions. I will talk about an effort to systematize those results. If M and N are models of arithmetic and M ≺ N , how much information is there in Th((N,M)) in relation to Th(N)? In what situations is there a form of elimination of quantifiers for Th((N,M))? Is there a complete set of isomorphism invariants for such pairs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000